UNIVERSITY OF SOUTHAMPTON FACULTY OF ENGINEERING , SCIENCE AND MATHEMATICS School of Electronics and Computer Science Rigorous Design of Distributed Transactions by Divakar Singh Yadav
نویسنده
چکیده
Transaction States In our model of transactions, an update transaction, once started, updates the abstract database atomically when the transaction commits, or makes no changes in the database, when it aborts. We have represented the global state of update transactions by a variable transstatus in the abstract model of the transactions. The variable transtatus is defined as transtatus ∈ trans → TRANSSTATUS, where TRANSSTATUS={COMMIT,ABORT,PENDING}. The transstatus maps each transaction to its global state. With respect to an update transaction, activation of the following events change the global transaction states. Chapter 7 Liveness Properties and Modelling Guidelines 129 – StartTran(tt) : The activation of this event starts a fresh transaction and the state of the transaction is set to pending. – CommitWriteTran(tt) : A pending update transaction commits by atomically updating the abstract database and it status is set to commit. – AbortWriteTran(tt) : A pending update transaction aborts by making no change in the abstract database and its status is set to abort.
منابع مشابه
- norm penalised orthogonal forward regression
Xia Hong, Sheng Chen, Yi Guo and Junbin Gao Department of Computer Science, School of Mathematical, Physical and Computational Sciences, University of Reading, Reading, UK; Electronics and Computer Science, University of Southampton, Southampton, UK; Department of Electrical and Comptuer Engineering , Faculty of Engineering, King Abdulaziz University, Jeddah, Saudi Arabia; CSIRO Mathematics and...
متن کاملUniversity of Southampton Research Repository ePrints
FACULTY OF ENGINEERING, SCIENCE AND MATHEMATICS SCHOOL OF ELECTRONICS AND COMPUTER SCIENCE Doctor of Philosophy
متن کاملUltrafast all-optical order-to-chaos transition in silicon photonic crystal chips
Roman Bruck1†, Changxu Liu 2†, Otto L. Muskens, Andrea Fratalocchi, Andrea Di Falco3∗ Physics and Astronomy, Faculty of Physical Sciences and Engineering, University of Southampton, Southampton SO17 1BJ, UK PRIMALIGHT, Faculty of Electrical Engineering; Applied Mathematics and Computational Science, King Abdullah University of Science and Technology (KAUST), Thuwal 23955-6900, Saudi Arabia SUPA...
متن کاملOptimal Control for a Class of Differential Linear Repetitive Processes
S. Dymkou, E. Rogers, M. Dymkov, K. Ga lkowski, D. H. Owens 1 ITMS, Ballarat University, Australia. 2 Department of Electronics and Computer Science, University of Southampton, Southampton SO17 1BJ, UK. [email protected] 3 Institute of Mathematics, National Academy of Sciences of Belarus, Minsk, Belarus. 4 Institute of Control and Computation Engineering, University of Zielona Góra, Poland. ...
متن کاملInvistor -a Distributed Multimedia Indexing System
FACULTY OF ENGINEERING, SCIENCE AND MATHEMATICS SCHOOL OF ELECTRONICS AND COMPUTER SCIENCE Doctor of Philosophy
متن کامل